The Termite driver synthesis tool