opt: Track data flow information about predicates

This allows us to optimize things like

    -sparse -o -not -sparse <==> -true

and

    -sparse -a -not -sparse <==> -false

4 files changed, 76 insertions, 0 deletions

diff --git a/tests/test_data_flow_group.out b/tests/test_data_flow_group.out
new file mode 100644
index 0000000..bb3cd8d
--- /dev/null
+++ b/tests/test_data_flow_group.out
@@ -0,0 +1,19 @@
+basic
+basic/a
+basic/b
+basic/c
+basic/e
+basic/g
+basic/i
+basic/j
+basic/k
+basic/l
+basic/c/d
+basic/e/f
+basic/g/h
+basic/j/foo
+basic/k/foo
+basic/l/foo
+basic/k/foo/bar
+basic/l/foo/bar
+basic/l/foo/bar/baz
diff --git a/tests/test_data_flow_hidden.out b/tests/test_data_flow_hidden.out
new file mode 100644
index 0000000..bb3cd8d
--- /dev/null
+++ b/tests/test_data_flow_hidden.out
@@ -0,0 +1,19 @@
+basic
+basic/a
+basic/b
+basic/c
+basic/e
+basic/g
+basic/i
+basic/j
+basic/k
+basic/l
+basic/c/d
+basic/e/f
+basic/g/h
+basic/j/foo
+basic/k/foo
+basic/l/foo
+basic/k/foo/bar
+basic/l/foo/bar
+basic/l/foo/bar/baz
diff --git a/tests/test_data_flow_sparse.out b/tests/test_data_flow_sparse.out
new file mode 100644
index 0000000..bb3cd8d
--- /dev/null
+++ b/tests/test_data_flow_sparse.out
@@ -0,0 +1,19 @@
+basic
+basic/a
+basic/b
+basic/c
+basic/e
+basic/g
+basic/i
+basic/j
+basic/k
+basic/l
+basic/c/d
+basic/e/f
+basic/g/h
+basic/j/foo
+basic/k/foo
+basic/l/foo
+basic/k/foo/bar
+basic/l/foo/bar
+basic/l/foo/bar/baz
diff --git a/tests/test_data_flow_user.out b/tests/test_data_flow_user.out
new file mode 100644
index 0000000..bb3cd8d
--- /dev/null
+++ b/tests/test_data_flow_user.out
@@ -0,0 +1,19 @@
+basic
+basic/a
+basic/b
+basic/c
+basic/e
+basic/g
+basic/i
+basic/j
+basic/k
+basic/l
+basic/c/d
+basic/e/f
+basic/g/h
+basic/j/foo
+basic/k/foo
+basic/l/foo
+basic/k/foo/bar
+basic/l/foo/bar
+basic/l/foo/bar/baz