LSR should only reuse phis that match its formula.