Predicate fcloseCallOrIndirect

predicate fcloseCallOrIndirect(FunctionCall fc, Variable v)