readme
------

Because in final version of paper we move one of the lemma (decidability) from section 3 to section 4,
the indices of lemma 6 - 22 are shifted by one.