sibling(HTMLObjectL, HTMLObjectR) is true if and only if HTMLObjectL is the left direct sibling of HTMLObjectR and vice versa. If HTMLObjectR is not instantiated, it will unify with the right sibling of HTMLObjectL. If HTMLObjectL is the not instantiated one, it will unify with the left sibling of HTMLObjectR.