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