add tests for fact_eval