Fri, 10 Feb 2012 19:04:31 +0000 Mario de Sousa Add support for semantic verification of function calls in IL.