ICursor<SNode> _zCursor4 = CursorFactory.createCursor(returnStatements);
try {
while(_zCursor4.moveToNext()) {
SNode returnStatement = _zCursor4.getCurrent();
if((SLinkOperations.getTarget(returnStatement, "expression", true) == null)) {
<BUG>TypeChecker.getInstance().reportTypeError(returnStatement, "should return value", "jetbrains.mps.baseLanguage.helgins", "1178645688864");
</BUG>
} else
{
<BUG>leastCommonSupertype = RulesFunctions_BaseLanguage.computeLeastCommonSupertype(SLinkOperations.getTarget(returnStatement, "expression", true), leastCommonSupertype, expectedRetType);
}</BUG>
}

ICursor<SNode> _zCursor4 = CursorFactory.createCursor(returnStatements);
try {
while(_zCursor4.moveToNext()) {
SNode returnStatement = _zCursor4.getCurrent();
if((SLinkOperations.getTarget(returnStatement, "expression", true) == null)) {
TypeChecker.getInstance().reportTypeError(returnStatement, "should return value", "jetbrains.mps.baseLanguage.helgins", "1186053304501");
} else
{
TypeChecker.getInstance().getRuntimeSupport().createGreaterThanInequation(TypeChecker.getInstance().getEquationManager().getRepresentator(LCS_typevar_1186052624152), TypeChecker.getInstance().getRuntimeSupport().typeOf(SLinkOperations.getTarget(returnStatement, "expression", true)), SLinkOperations.getTarget(returnStatement, "expression", true), null, "jetbrains.mps.baseLanguage.helgins", "1186053304511");
}
}
