Update combinatorial always blocks to use <= instead =.