Rewording in method call types table
Destination decidability (without undecidable call solution)