{-# LANGUAGE ScopedTypeVariables #-}

import Yices.Painless.Language

main = print =<< solve p

p f g (n :: Exp Int) = f n &&* g (f n)