Characteristic predicate FileReadExpr :: FileReadExpr