Checking of conditions on if/while
First fully working pass of checker.