Cleaned up printBDD code
Fixed bug in globalvalue name generation; added more debugging printouts
Adding simple call test case; still not sure if works though