remove non-deterministic assert