let
dummy_non_linear_assignment =
Ki
.
Hashtbl
.create 1