public ParameterNode(int index, StampPair stamp) { super(TYPE, index, stamp.getTrustedStamp()); this.uncheckedStamp = stamp.getUncheckedStamp(); }