Thu, 02 Feb 2012 16:20:19 +0000 Mario de Sousa Add support in stage 3 for checking function invocations in ST.