fn compile_definition(
handlebars: &mut Handlebars<'_>,
definition: &Definition,
policy_scope: &PolicyScope,
initialization_typ: InitializationType,
vars_to_initialization_typ: &mut HashMap<String, InitializationType>,
vars_to_clause_typ: &mut HashMap<String, OgClauseIntroType>,
) -> String