It is a good point that behave_differently.sh does not necessary run its argument program, but can analyze it in another way. (The context of Bash scripts sugge

It is a good point that behave_differently.sh does not necessary run its argument program, but can analyze it in another way. (The context of Bash scripts suggests execution but that is a misleading hint.) In the broader formulation behave_differently.sh tells that its argument program terminates and produces finite input, which is a halting problem.