CLEAN unreachable state