working up to dealing with constraints on fields in test generation