Use simplify_using_context_assign to implement domain_simplify.