Prohabilistic feature models unfolding by Candel