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