Function collect_transaction_effect 

fn collect_transaction_effect(
    operation: &str,
    value: &Value,
    reads: &mut BTreeSet<String>,
    writes: &mut BTreeSet<String>,
) -> Result<(), FeatureCompileError>

Adds one operation’s closed entity effects to the owning transaction sets.