parser added with new AST method, SuchThat uncommented and added IF to some funcs for containers.