Implemented scope for FlowSpecification's refined reference.