Adding test "prop_countOcc".