diff --git a/b2/test/hierred b/b2/test/hierred
new file mode 100755
index 0000000..4af0603
--- /dev/null
+++ b/b2/test/hierred
@@ -0,0 +1,135 @@
+#!/bin/bash
+. ./Common
+
+###############################################################################
+
+tst "hierarchy: == 1 followed by == 2" <<EOF
+N=## {
+	1:	{ X=* };
+	2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    1: { X=* }
+    2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: == 2 followed by unreachable == 2" <<EOF
+N=## {
+	2:	{ X=* };
+	2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+h:4: warning: unreachable condition
+N=## {
+    2: { X=* }
+    2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 2 followed by < 3" <<EOF
+N=## {
+	<2:	{ X=* };
+	<3:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <2: { X=* }
+    <3: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 3 followed by unreachable < 2" <<EOF
+N=## {
+	<3:	{ X=* };
+	<2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+h:4: warning: unreachable condition
+N=## {
+    <3: { X=* }
+    <2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 2 followed by <= 2" <<EOF
+N=## {
+	<2:	{ X=* };
+	<=2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <2: { X=* }
+    <=2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: <= 2 followed by unreachable < 2" <<EOF
+N=## {
+	<=2:	{ X=* };
+	<2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+h:4: warning: unreachable condition
+N=## {
+    <=2: { X=* }
+    <2: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 3 followed by > 1" <<EOF
+N=## {
+	<3:	{ X=* };
+	>1:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <3: { X=* }
+    >1: { Y=* }
+}
+EOF
+
+#------------------------------------------------------------------------------
+
+tst "hierarchy: < 3 followed by predictable but reachable > 2" <<EOF
+N=## {
+	<3:	{ X=* };
+	>2:	{ Y=* };
+};
+EOF
+
+expect <<EOF
+N=## {
+    <3: { X=* }
+    >2: { Y=* }
+}
+EOF
+
+###############################################################################