Towards tests for terminating instructions