| Test for deprecated library StackVariableReachability. |