Hyper-App-Counter-Example