Framework for running different tools on boogie programs