}*/
}
}
private void visitThenOperator(Tree.ThenOp that) {
ProducedType lhst = leftType(that);
ProducedType rhst = rightType(that);
if (!isTypeUnknown(lhst)) {
checkAssignable(lhst, unit.getType(unit.getBooleanDeclaration()), that.getLeftTerm(),
"operand expression must be a boolean value");
}
if ( rhst!=null && !isTypeUnknown(rhst)) {