Add test for asserting method arguments
Add test for type exceptions for method invocations
Merge branch 'issue-1' into issue-2