Assertion list for term "written to the file".
Results from Ascent++: 2
byte → ReceivesAction → written to the file 0.46
data → ReceivesAction → written to the file 0.33