+ " is not in scope", node.getLocation(), node); question.env.listAlternatives(node.getName()); node.setType(AstFactory.newAUnknownType(node.getLocation())); return node.getType(); node.setType(AstFactory.newAUnknownType(node.getLocation())); return node.getType(); node.setType(AstFactory.newAUnknownType(node.getLocation())); return node.getType(); node.setType(AstFactory.newAUnknownType(node.getLocation())); return node.getType(); node.setType(optype.getResult()); return question.assistantFactory.createPTypeAssistant().checkReturnType(question.returnType, optype.getResult(), node.getLocation()); } else if (question.assistantFactory.createPTypeAssistant().isFunction(type)) node.setType(ftype.getResult()); return question.assistantFactory.createPTypeAssistant().checkReturnType(question.returnType, ftype.getResult(), node.getLocation()); } else node.setType(AstFactory.newAUnknownType(node.getLocation())); return node.getType();