I will write to him. (I've also already invited him to join the forum. There is a good source of debug/improvement cases here for him.)
So far, I had good exchange about the backtrack (indeed, in future plans; at this point the code relies on the fact that it will sooner or later find the step unlike Primo that had finite set of invariants/curves/test units).
|