rewrite HavannahLogicTest