make the reference agree with the implementation about the behavior of deduce_domain, as_child, as_expr, make_expr and unpack_expr