Tool for generating examples and counterexamples of model-based software product lines