[ModelChecker] Check relations have elements