Fix for extracting syntactic markers
Fix for extracting syntactic markers

This fixes a bug in the process for extracting syntactic markers.
Specifically, the code was not resilient to the potential for cycles in the
abstract syntax tree.  This is fixed easily using a visited bitset.

Whiley/WhileyCompilerCollection