fn populate_var_map( stmts1: &[Statement], stmts2: &[Statement], var_map: &mut VarMap, ) -> Result<(), ()>