(program (programItem (section (varSection VARS { (variables (variablesItem (variableDecl bool_0 : bool ;))) }))) (programItem (section (sessionVarSection SESSION_VARS { (variables (variablesItem (variableDecl ssn_bool_0 : bool ;)) (variablesItem (variableDecl ssn_int8_0 : int8 ;))) }))) (programItem (section REMAP { (sectionBody (conditional (ifStatement if (condition (expression (term (factor bool_0)))) (block { (blockItem (statement ssn_bool_0 = (value true) ;)) (blockItem (statement ssn_int8_0 = (value 3) ;)) })))) })) <EOF>)
