Thu, 02 Feb 2012 16:20:19 +0000Add support in stage 3 for checking function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:20:19 +0000] rev 421
Add support in stage 3 for checking function invocations in ST.