Some backtrack features corrected.
+ sybool extended to method call
Merge branch 'master' of https://github.com/arturalkaim/PA-Project.git