“stack transition” is another name for Push transition.