Triangle Area Program Analysis