setpropagatelearn
return setpropagatelearn(solv, level, p, disablerules, ruleid);
level = setpropagatelearn(solv, level, -i, disablerules, 0);
level = setpropagatelearn(solv, level, i, disablerules, r - solv->rules);
level = setpropagatelearn(solv, level, -p, 0, 0);
level = setpropagatelearn(solv, level, p, 0, 0);
level = setpropagatelearn(solv, level, p, 0, 0);
level = setpropagatelearn(solv, level, p, 0, 0);
level = setpropagatelearn(solv, level, p, 0, 0);
level = setpropagatelearn(solv, level, -p, 0, 0);
level = setpropagatelearn(solv, level, p, disablerules, why);
level = setpropagatelearn(solv, level, p, disablerules, why);