fix:
   - unnecessary caching in evaluate_for_all_timesteps
   - changed nondet to not_ok for eventually and only not_ok found