Predicate: is the back-stack non-empty? Drives the enabled-state of the workbench’s back-arrow button.