expectedRetType = null;
}
<BUG>SNode leastCommonSupertype = null;</BUG>
Iterable<SNode> returnStatements = RulesFunctions_BaseLanguage.collectReturnStatements(SLinkOperations.getTarget(argument, "body", true));
<BUG>boolean somethingReturned = !(SequenceOperations.isEmpty(returnStatements));
if(noReturnExpected) {</BUG>
{
ICursor<SNode> _zCursor3 = CursorFactory.createCursor(returnStatements);
try {
while(_zCursor3.moveToNext()) {

expectedRetType = null;
}
Iterable<SNode> returnStatements = RulesFunctions_BaseLanguage.collectReturnStatements(SLinkOperations.getTarget(argument, "body", true));
boolean somethingReturned = !(SequenceOperations.isEmpty(returnStatements));
final SNode LCS_typevar_1186052624152 = TypeChecker.getInstance().getRuntimeSupport().createNewRuntimeTypesVariable(false);
if(noReturnExpected) {
{
ICursor<SNode> _zCursor3 = CursorFactory.createCursor(returnStatements);
try {
while(_zCursor3.moveToNext()) {
