Task 5 bug founded
Bugs in task 5 parser and bug with axioms without substitution  are fixed