> (2) a piece of code has different behavior depending on the identity of a function, contrary to the principle of extensionality.

Note that most definitions of extensionality don't consider the number of steps to achieve the result as an observable property, although in practice it is.