Renaming function
Let's reverse this check to improve speed

It's faster to get length than to get glue
Forgot to check for zero level for glue update here
Clean half of reducible clauses on every reduceDB round
toClear is not used here
Removing GCC warning
Making sure we don't have weird Watch types here
Fixing non-initialized values in PropBy
Wrong parenthesis(!) here
No need for this parameter most of the time
Refactoring this part of the code for more readability