Deep coverage for no state change