parameters: (s1, s2)
return_statement: return (s1 == s2 or (
          type(s2) is FunctionSort and
          any(occurs_in(s1, x) for x in s2)
      ))
docstring: Checks if s1 occurs in s2
docstring_summary: Checks if s1 occurs in s2
docstring_tokens: Checks if s1 occurs in s2
function: def occurs_in(s1, s2):
      """
      Checks if s1 occurs in s2
      """
      s1 = find(s1)
      s2 = find(s2)
      return (s1 == s2 or (
          type(s2) is FunctionSort and
          any(occurs_in(s1, x) for x in s2)
      ))
function_tokens: def occurs_in ( s1 , s2 ) : s1 = find ( s1 ) s2 = find ( s2 ) return ( s1 == s2 or ( type ( s2 ) is FunctionSort and any ( occurs_in ( s1 , x ) for x in s2 ) ) )