Worked od backward proof step

* changed backward proof step for simple, multiple and between (simple and
  multiple) insertion
* an extra between insertion in proof step function is not needed now