Constant GRAPHVIZ_POSTFLOW_MSG

const GRAPHVIZ_POSTFLOW_MSG: &str = "`borrowck_graphviz_postflow` attribute in test";