implementation of UFS checker for incrementally extended programs