BStack - a virtual stack with backtracking capability (extension of VStack)