Old, obsolete version of the Valida compiler; its replacement will become public later
OtherNOASSERTION