CNF.output_register

property CNF.output_register

returns output register