count check in equiv-sequential if both arguments are ICounted