Characteristic predicate FileReadExpr :: FileReadExpr
FileReadExpr
(
)