add struct_lists analysis refinement