Resolve alive constraint test