tweak conditions for stack pointer optimization rule, disable commutation and association rules for now since they led to wrong results