Update to PconsC2 as described in the paper