add test case
add test case and change FactGroup override function evaluating and delete FacGroup override function evaluate