First implementation of Solver and TerminalPattern