Function parse_transition_system 

pub fn parse_transition_system(
    src: &str,
) -> Result<TransitionSystem, RtlParseError>

Parse a synthesizable Verilog module into a TransitionSystem. Errors (never silently mis-parses) on anything outside the supported subset.