added support fro mergeing multiple boogie files.