Implemented ASTification of until () loops
Add some TODOs related to loop ASTification