pub fn verify_definitions_scope( definitions: &Vec<Definition>, env: &mut Vec<(String, VarContext)>, )