add pbToAtLeast function
promote learnt PB constraints to more specific constraints when possible