Changed apply-rule-1step

* work with new rule strukture now
* adapted proof-step for new apply-rule-1step