update CPSA to solve the output redirect problem