Sun, 19 Feb 2012 16:16:45 +0000 Mario de Sousa Semantic verification: Add compatibility check for parameter direction in function invocation.