minor
fzn hack reification
improve 7QD