+Statement implementation; +more tests