Validación: salta shouldReturnAValueOnAllFlows con super() cuando no corresponde

[asanzo]

class A {
    method a(){}
}

class B inherits A {
    var cumple = false
    override method a(){
        if(cumple){
            cumple = false
        } else {
            super()
        }   
    }
}

Ese código, levantado con el repl de wollok-ts-cli, tira el siguiente error:

[ERROR]: shouldReturnAValueOnAllFlows at src/minimo.wlk:8 (la línea del if)

y no debería tirarlo. Lo loco es que el error desaparece si hacés en lugar de super(), cumple = super()

[FerRomMu]

En este repositorio también sucede ese problema. Dejó la linea de código donde marca el error: https://github.com/obj1unq/2021s1-simulacro-superpoderoses-lgassman/blob/b54fc85a9dba36f10f9375583d40d2aef9f32b8f/src/superpoderoses.wlk#L65