update decidability tests for new algorithm