let dummy_non_linear_assignment = Ki.Hashtbl.create 1