Poogie P to Boogie translator How to run Corral: mono /Users/pantazis/workspace/whoop/corral/bin/debug/corral.exe /k:2 /recursionBound:3 /cooperative pingpong.bpl /trackAllVars /di