Add a helper to MCExpr for when an expression is know to be absolute.