Don't add UB constraints for Inst::Const