APP_AST is almost done, just have to figure out how to add/subtract for
succ and pred