added some checking procedures to Eval module