Don't use 'static inline' just 'inline' in header file
Report time-out of asymm directly on one-liner log
If clauses is empty, wentThrough will be == clauses.size() so we skip anyway
Report how many clauses did we actually try to block
At this point, ws[i] is binary
Use [block] to mean blocking
Ooops, bug, redundant binary has to be propagated  in case of STAMP_IRRED

And not STAMP_RED
Consolidate under same 'if' construct
Block 3-longs as well. This has been missing for some while...