free_term (Mixfix_term ts) = Mixfix_term ts'
     where ts' = map free_term ts
free_term (Mixfix_term ts) = Mixfix_term ts'
     where ts' = map free_term ts
free_term (Mixfix_term ts) = Mixfix_term ts'
     where ts' = map free_term ts