s/in1array(3) ?= in2array(3) + 45/\\?=\\ (in1array(3), in2array(3) + 45)/
s/:= nor (/:= nor_reduce (/
s/:= xnor (/:= xnor_reduce (/
s/:= nand (/:= nand_reduce (/
s/:= or (/:= or_reduce (/