Made reified constraints implications instead of equivalences