Patch to the second shipping

The Peano arithmetic now pass, but some tests fail due to the lack of strategies.