the bpl file now only prints Boogie output