parameters: (list_of_eq)
return_statement: return tuple(lhs), tuple(rhs)
docstring: Convert equality constraints in the right format
      to be used by unification library.
docstring_summary: Convert equality constraints in the right format
      to be used by unification library.
docstring_tokens: Convert equality constraints in the right format to be used by unification library .
function: def convert_eq(list_of_eq):
      """
      Convert equality constraints in the right format
      to be used by unification library.
      """
      lhs = []
      rhs = []
      for eq in list_of_eq:
          lhs.append(eq.lhs)
          rhs.append(eq.rhs)
      return tuple(lhs), tuple(rhs)
function_tokens: def convert_eq ( list_of_eq ) : lhs = [ ] rhs = [ ] for eq in list_of_eq : lhs . append ( eq . lhs ) rhs . append ( eq . rhs ) return tuple ( lhs ) , tuple ( rhs )