[Eva] Always emits undeterminate alarms on arguments of functions without body.

Always emits initiatialized/escaping alarms on arguments of call to functions
whose body is not analyzed, as we cannot be sure these arguments will only be
used for copies and not in computations.