TAG Program Analysis