IMplementation of Session.boogie()