new why semiring, changed executable name to fpsolve, test-cases