The untimed engine should never be called with EG/AF query. Perhaps the engine should report this and terminate the verification without doing anything.
The untimed engine should never be called with EG/AF query. Perhaps the engine should report this
and terminate the verification without doing anything.