Hi, According to the "famous Soot picture", Soot first produces Baf from bytecode and then produces Jimple from Baf. So why is it when I run Soot with the verbose option, it seems that Jimple is being produced first? A glance at the Coffi code seems to confirm this. Thanks, -N.