public MapBasedNavigator (IMutableRelation nextRelation) 
   : this(nextRelation, nextRelation.Reverse())
 {
 }
 public MapBasedNavigator (IMutableRelation nextRelation, IMutableRelation previousRelation) 
 {
   n2next = nextRelation; 
   n2prev = previousRelation;
 }