minimizing overhead of computing subsumers when contexts are
deterministic