(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTOR-BASED)
(STRATEGY INNERMOST)
(VAR x)

(DATATYPES
  B = < true >
)

(SIGNATURES
  eq :: B x B -> B
)


(RULES

  eq(x,x) -> true

)