/Test/extractloops/
../
detLoopExtract.bpl
detLoopExtract.bpl.expect
detLoopExtract1.bpl
detLoopExtract1.bpl.expect
t1.bpl
t1.bpl.expect
t2.bpl
t2.bpl.expect
t3.bpl
t3.bpl.rb2.expect
t3.bpl.rb4.expect