let dummy_non_linear_assignment = InstrHashtbl.create 1