(Backend) Add early version of a transformation that makes IR
supporting short circuit evaluation.