Sat, 25 Feb 2012 19:16:35 +0000 Mario de Sousa Add support for semantic verification of CALC, CALCN, etc..