freePredNameAndType :: SORT -> (Id, PRED_TYPE)
freePredNameAndType s = let
    phi = phiName s
    free_s = mkFreeName s
    pt = Pred_type [free_s, free_s] nullRange
    in (phi, pt)
freePredNameAndType :: SORT -> (Id, PRED_TYPE)
freePredNameAndType s = let
    phi = phiName s
    free_s = mkFreeName s
    pt = Pred_type [free_s, free_s] nullRange
    in (phi, pt)
freePredNameAndType s = let
    phi = phiName s
    free_s = mkFreeName s
    pt = Pred_type [free_s, free_s] nullRange
    in (phi, pt)