Fri, 17 Feb 2012 19:47:58 +0000 Mario de Sousa Start of support for semantic verification of FB calls in IL using special IL instructions.