It looks like adding a constraint which propagates it's literals (e.g. x1+x2+2*x3>=4) then the constraint cannot be removed.
The issue was reported by Vasco Manquinho's team.
