Flatten and simplify the picosat C lib