Goal-conflict likelihood assessment based on model counting.