Revise morePropagate(): now it is split into 4 methods.
Minor.
Lower bound is printed after reading the instance.
Reasons coming from aggregates are handled by PBS.
Add patch to glucose to handle reasons from propagators.