proved new version of fst_hom