File forall-v2.fmsl, line 11, char 1:
	Incompatible operand types in a relational expr.
    File forall-v2.fmsl, line 20, char 36:
	Type IntList is not defined.