Test if two trees are structurally equal.
Left(errorMessage with minimal diff)
if trees are not structurally different, otherwise
Right(Unit)
. To convert into exception with meaningful error message, use
val Right(_) = StructurallyEqual(a, b)