Don't use 'fromProber' use update_... which is better

Also takes into account burst search
Also extra-bump var activity on bin clauses
Fixing limit of more minim
Adding some non-active python code (scratchpad) to GIT
Propagate binary&tri clauses first
Don't propagate binaries first

It leads to more literals in the conflict clause