Fixed tiny bugs
Merge branch 'develop' into autotransformations
[transforms] Fixed problem with RPN-format Metamath proof generation