Ctemp in last run:() -- [¬carry(?o, ?g)]
() -- [free(?g)]
