Renaming and moving function around a bit
Renaming function, cleaning up implicit blocked cl detection
No need for explicit .toInt() when '<' comparing literals
Moving blocking clauses before linking in learnt clauses
Removing useless empty line
Please be more verbose during option-fuzzing with crypto instance