Improved the definition of the function `` ` ``
Improved the definition of the function `` ` ``

`` ` `` was defined as "push flattened a", whilst it should be defined as "push all the elements of an array into the stack". The term *"flatten"* is quite ambiguous in this context.
Emigna/05AB1E