let
compute_syntactic kf = fst (compute_syntactic kf)