Added tests for moving over program tails