Skeleton of the future ModelChecker