Push is a procedure used to add the boundary marker in ABoundary using a stack-like mechanism, where the new value is added to the top of the internal. Push checks that ABoundary does not already exist in the list, and sets
NewBoundary to True when the value already exists. If it does not exist, ABOundary is inserted into the internal list at element 0 (zero), and
NewBoundary is set to False.