fn for_each_initialization_typ( variable: &String, body: &ASTNode, conditional_premise_vars: &Option<&mut HashSet<String>>, initialization_typ: &mut InitializationType, )