Domain independence and query reformulations under constraints