Error when constants are checked in guards
In org.fortiss.af3.expression.language.TypeChecker, method getUserType(Line 371) there is no validation for constants that have other value than NoVal.
For example if in a guard we have: A !=[0,0] and A is an array of two ints, AF3 reports a bug that says type mismatch.
(from redmine: issue id 1408, created on 2013-06-04, closed on 2013-07-15)