Assertion list for term "occupied by the file".

Results from Ascent++: 2
block ReceivesActionoccupied by the file 0.48
space ReceivesActionoccupied by the file 0.37