A Monte Carlo tree search conceptual framework for feature model analyses