Uses of Class
boomerang.weights.PathConditionWeight.ConditionDomain