Simplified leftmost primary rewrite.