Update satisfies_argument_types.m