ignore printf and scanf functions when type checking function calls
Merge branch 'master' of github.com:niketkandya/plt2013