sig module MakeBwd : TraceChecker.S module MakeFwd : TraceChecker.S end