Learner.updateWeight(MRF mcsat)
Update Learner.currentWeight to new weights
according to information provided by mcsat instance, e.g.,
MCSAT#expectationOfViolation; This is a virtual
function, each instance of Learner should materialize
an adhoc version of this function.