method private port_to_positions_ port =
let positions = self#port_to_positions port in
(*List.iter (function x, y ->
print_int port; print_string " -> ("; print_int x; print_string ", ";
print_int y; print_string ")\n")
positions;*)
positions