Cleaner code in constraints, avoid typing errors
Refactor typechecking rule for IMethodCall to external class, enable to typecheck local and instance calls