Member predicate Markdown::MarkdownStep::step

Holds if there is a taint-step from pred to succ for a taint-preserving markdown parser.

predicate step(Node pred, Node succ)