Thu, 22 Mar 2012 00:22:48 +0100 laurent Fixing bug in inlinefcall when a transition is in ST and contains literals