Intexpr rewrite