fix reif

- issue with multiple reifications of same cons
=> only one reification per constraint (if multiple, just reuse the
bool var associated to the cons)
current drawback the opposite cons is generated by default, even for
simple implications (not a big deal)