anchor.diff:     method Action setupB(Bit#(7) strLen);
         strLenB <= strLen;
      endmethod
  -   
  -
  -   FSM fsm <- mkFSM(hirschA);
  +  
  +   interface FSM fsm = hA;
   
   
   endmodule
  
positive.code: 
  import StmtFSM::*;
  import BRAM::*;
  
  module mkHirschA#(BRAMServer#(Bit#(strIndexWidth), Bit#(8)) strA, BRAMServer#(Bit#(strIndexWidth), Bit#(8)) strB, BRAMServer#(Bit#(lIndexWidth), Bit#(16)) matL)(MCSAlgorithm)
        provisos(Add#(0, 7, strIndexWidth),
  
negative.code: 		  endseq
  	    endseq
     endseq;
     
     FSM hA <- mkFSM(hirschA);
    
     method Action setupA(Bit#(7) strLen);
        strLenA <= strLen;
     endmethod
  