resource monad in TSLAbsGame
resource monad in theory solver