updated MSpec, fixed code issues in EvaluationEngine