Transferred Mocking Classes over to ZingBDD