fixed mean bug in an optimization of addrule:
fixed mean bug in an optimization of addrule:

Differ between binary rules and non-binary rules
with one literal (e.g. two kernels)
(fixed 5 test cases)


jsilhan/libsolv,jsilhan/libsolv,jsilhan/libsolv,jsilhan/libsolv,jsilhan/libsolv,jsilhan/libsolv,JacksonIsaac/libsolv,JacksonIsaac/libsolv,JacksonIsaac/libsolv,JacksonIsaac/libsolv,JacksonIsaac/libsolv