LSR: prune undesirable formulae early.