Member predicate Modifiable :: isFile
Holds if this declaration is file
local.
predicate
isFile
(
)