fn state_writes<'gcx>(gcx: Gcx<'gcx>, fid: FunctionId) -> HashSet<VariableId>
State variables written by fid or by the internal functions it calls (one level deep).
fid