Predicate fopenCallOrIndirect

predicate fopenCallOrIndirect(Expr e)