protected SequenceExpressionCountBoundedReachable( SequenceExpressionCountBoundedReachable that, Dictionary<SequenceVariable, SequenceVariable> originalToCopy, IGraphProcessingEnvironment procEnv )