Added instructions to isCommutative() function that were missed in UB patch

profiling of souper-optimized code

just some notes to self

driver progress

driver is working

tweaks