deterministic monitors are going through simulation-based reductions
This code from postprocessor
seems to be doing extra work:
if (type_ == Monitor)
{
if (PREF_ == Deterministic)
a = minimize_monitor(a);
else
strip_acceptance_here(a);
if (PREF_ == Any)
return a;
a = do_simul(a, simul_);
If a
is the output of minimize_monitor(a)
, then is is already minimal and a = do_simul(a, simul_);
cannot improve anything.