PHREAK improvements over RETE