Not to involve pruned head triples in the refining phase

[propi]

One some head triples are not mapped to body (they are pruned), we need not involve them in the next refine phase.

If the A_r set is empty, the current binding of the head s,p,o can be omitted within any other refinements of subsequent rules having the basis of the current rule.