Adding a stack_empty predicate function.