Prop.is_connected

let is_connected i j =

  let a = id_to_atom i 

  and b = id_to_atom j in

    Atom.is_connected a b