Constant GRAPHVIZ_POSTFLOW_MSG 

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