docs: public void computeUnionOfInterestingPropertiesFromSuccessors() {
  		List<DagConnection> conns = getOutgoingConnections();
  		if (conns.size() == 0) {
  			// no incoming, we have none ourselves
  			this.intProps = new InterestingProperties();
  		} else {
  			this.intProps = conns.get(0).getInterestingProperties().clone();
  			for (int i = 1; i < conns.size(); i++) {
  				this.intProps.addInterestingProperties(conns.get(i).getInterestingProperties());
  			}
  		}
  		this.intProps.dropTrivials();
  	}