Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima