(program (programItem (section (varSection VARS { (variables (variablesItem (variableDecl bool_0 : bool ;)) (variablesItem (variableDecl bool_1 : bool ;))) }))) (programItem (section REMAP { (sectionBody (statement bool_1 = (value bool_0) ;)) })) <EOF>)
