Worked on proof-step function

* finished sub proof insertion in second case of proof-step