removed last cheats from BVL-to-BVI compiler