add boolean writes, relational ops, if statements