Don't fail when unable to solve PC
Don't use spec in ndProgram
Some more small improvements
Bump stats for new CEXs

Fully specify introduced rec. calls (optionally)