Taming intractable branching in qualitive simulation