Talk:PERCH Automated Consistency Analysis