Minor fix to EnumCheckRequires: fixed generic Contract.Requires