ScopInfo: Clarify may-write and must-write accesses