fn generated_values(value: &Value, output: &mut BTreeSet<String>)
Collects named opaque values referenced by one transaction declaration. Performs generated values.