Fixing the (parser) bug and adding an example
Solver seems now functional