mutable args = (args_list: (atoms_type term_structure) list)