version 12 by Michael Callaghan
The patroller will not make any attempt to close any doors s/he passes through.
The naughty girl is a patroller. The naughty girl is aimless.
The OpeningCapability of the naughty girl is UnlockedOnly. The ReclosingCapability of the naughty girl is Leave.
This is the default ReclosingCapability for a patroller.