Worked on proof step

* re-sort proof step arguments
* prepare element insertions between the rule arguments