JavaPatternMatching/resources/bytecode/javFiles/Bug123.jav

import java.lang.Boolean;
import java.lang.Integer;

class Bug123 {
    Boolean works(){
        if(true) return true;
        else return false;
    }
    void fails(){
        Boolean a = true;
        if(true) a = false;
    }
}