Support short-circuiting of boolean expressions in IR generation