Table: Indicator constraint Probable bug

[Wikunia]

In indicator and reified constraints sometimes

• finished_pruning_constraint!
• single_reverse_pruning_constraint!
• reverse_pruning_constraint!
• restore_pruning_constraint!

must be called.