checked FaCT++ revisions up to 1641