fixed a returntype checking bug in checkCall. If null is given, any return type should be fine