> I initially didn't turn out these options because I saw in some part of > the documentation that they were dangerous or somesuch... Well, they are. You are missing certain method calls that exist. Your analysis results may well be unsound with those options. But in my understanding you don't care. Eric