BinaryLogic: Removing debugging info