Member predicate DefaultOptions::Options::alwaysCheckReturnValue

Holds if function f should always have its return value checked.

By default holds only for fgets.

predicate alwaysCheckReturnValue(Function f)