Function transaction_effects 

fn transaction_effects(
    transaction: &Value,
) -> Result<Value, FeatureCompileError>

Collects the statically declared read and write entity sets for one transaction.