public boolean isUndecidedBool() {
        return this instanceof BoolType && ((BoolType) this).value == BoolType.Value.Undecided &&
                ((BoolType) this).s1 != null && ((BoolType) this).s2 != null;
    }