No bill of attainder, ex post facto law or law impairing the obligation of contracts shall be passed.