let
dummy_non_linear_assignment =
InstrHashtbl
.create 1