public IsNullConditionDecision(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision) {
public IsNullConditionDecision(@CheckForNull ValueNumber value, @CheckForNull IsNullValue ifcmpDecision, @CheckForNull IsNullValue fallThroughDecision) {
	public IsNullConditionDecision(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision) {		this.value = value;		// At least one of the edges must be feasible		assert !(ifcmpDecision == null && fallThroughDecision == null);		this.ifcmpDecision = ifcmpDecision;		this.fallThroughDecision = fallThroughDecision;	}