added lifter.plt, a small test case suit for lifter