fact: Variable interpret : forall n, arSymInt n -> naryFunction1 domain n.
imports: Coq(Program) CoLoR(ATrs RelUtil SN AWFMInterpretation AMannaNess ACompat ListUtil ARelation LogicUtil OptUtil IntBasedChecker Problem NaryFunction Proof)