Currently we have coarse-grained direction (in/out/inout) annotations that affect the whole structure. But direction is an attribute of an individual field, i.e. a struct can contain one input resource and one output resource. Currently we mark structs as inout when in doubt, but it negatively affect efficiency of fuzzing. I think we need optional direction annotations for fields (similar to opt annotations).