Fix linearisation test and add transformed program
CYC using NA litmus