[model] Fix a typo in checking arguments of test programm
[compiler] Be more strict about symbol which appears in an unification

It must be controllable. Otherwise, the unification will fail at
runtime.