implemented specific code generators for analysis, analysis_ref and dataflow_rule