Add count type to Agent check

maybe also check the non-monotonic case?