free_formula (Mixfix_formula t) = Mixfix_formula t'
     where t' = free_term t
free_formula (Mixfix_formula t) = Mixfix_formula t'
     where t' = free_term t
free_formula (Mixfix_formula t) = Mixfix_formula t'
     where t' = free_term t