Add missing function arguments in type verifier.
Add missing function arguments in type verifier.

libfirm/libfirm,libfirm/libfirm,MatzeB/libfirm,MatzeB/libfirm,MatzeB/libfirm,MatzeB/libfirm,MatzeB/libfirm,libfirm/libfirm,libfirm/libfirm,MatzeB/libfirm,MatzeB/libfirm,libfirm/libfirm