private boolean reachableRejectBridge(Transition t) {
		return (t.source.production != null && t.source.production.reachable &&	t.target.production != null && t.target.production.reject) ||
			   (t.target.production != null && t.target.production.reachable &&	t.source.production != null && t.source.production.reject);
	}