free_pred_sym (Qual_pred_name pn pt r) = Qual_pred_name pn' pt' r
     where pn' = mkFreeName pn
           pt' = free_pred_type pt

-- | generates the free representation of a PRED_TYPE
free_pred_sym (Qual_pred_name pn pt r) = Qual_pred_name pn' pt' r
     where pn' = mkFreeName pn
           pt' = free_pred_type pt

-- | generates the free representation of a PRED_TYPE
free_pred_sym (Qual_pred_name pn pt r) = Qual_pred_name pn' pt' r
     where pn' = mkFreeName pn
           pt' = free_pred_type pt

-- | generates the free representation of a PRED_TYPE