got non-polymorphic function calls to check return and argument types
Merge branch 'code' of github.com:kyzhai/SMURF into code