may remove qvt constraint