fn compile_definitions(
handlebars: &mut Handlebars<'_>,
definitions: &[Definition],
policy: &Policy,
vars_to_initialization_typ: &mut HashMap<String, InitializationType>,
vars_to_clause_typ: &mut HashMap<String, OgClauseIntroType>,
) -> String