Add CreateAlignmentAssumption to IRBuilder