@Override public ResolvedType caseInstruction_call_nonVoid(Instruction_call_nonVoid object) { return resolveCall(object.getType()); }