Added type checking of expressions of do while loops
Logic operations assigns to seperate ifs