Implement check-count field in FENs