module BoogieTools