Module analyser
tract_core
A fluent interface for the analyser.
A graph analyser, along with its current state.