involved relvars extracted from constraints