Cache rules by LHS in SLIF: t+

Suggested by Jean-Damien Durand