Hi, I was looking for some way in soot to verify a class file. More generally, what other aids are present in soot that can be used to ensure that a particular transformation is valid (at least syntactically), other than running a large number of benchmarks through it :)? Please help. thanks, -amit