safe mode when eval functions, false rule and fixed point functions