free_formula (Predication ps ts r) = pr
     where ss = getSorts ts
           free_ss = map mkFreeName ss
           ts' = map free_term ts
           psi = psiName $ pred_symb_name ps
           pt = Pred_type free_ss nullRange
           ps' = Qual_pred_name psi pt nullRange
           pr = Predication ps' ts' r
free_formula (Predication ps ts r) = pr
     where ss = getSorts ts
           free_ss = map mkFreeName ss
           ts' = map free_term ts
           psi = psiName $ pred_symb_name ps
           pt = Pred_type free_ss nullRange
           ps' = Qual_pred_name psi pt nullRange
           pr = Predication ps' ts' r
free_formula (Predication ps ts r) = pr
     where ss = getSorts ts
           free_ss = map mkFreeName ss
           ts' = map free_term ts
           psi = psiName $ pred_symb_name ps
           pt = Pred_type free_ss nullRange
           ps' = Qual_pred_name psi pt nullRange
           pr = Predication ps' ts' r