Uses of Class
soot.JastAddJ.Problem.Kind