Add comments about pruning implication constraints