Added rule to make header for sae (sorted algebraic equations).