[lemma=the] [tag=FW] [lemma=post] [lemma=facto] [□=□]
[lemma=the] [tag=FW] [lemma=post] [lemma=facto] [lemma=□]
[lemma=the] [tag=FW] [lemma=post] [lemma=facto] [tag=□]
[ 9 ] Such state action would violate the Ex Post Facto Clause ( as to criminals convicted prior to the enactment ) and the Double Jeopardy Clause .