Correctly parse constant bool expressions
Fix update propagation on phi nodes