Following symlinks in run-dflat.sh.

Thanks to Michael.
Small change in MSO encoding.

For deriving incomplete/1, we now consider the current assignment, not
the one in the child item tree.