Prototype WDPB detection, run several times to see how loop count varies with output. Need to automate Soot to analyze large projects