In the tutorial_basics.v (tuto to learn HB) the line "HB.about hasOp.Build." produces the error "HB: uninteresting constant (from "(stdin)", line 85)"