let compute_syntactic kf = fst (compute_syntactic kf)