Part of skolemization done, some minor bug fixes on syntax_tree