modified SepExpr reifier to use is_const