Make predicates' ask() non-recursive

[mistasse]

At the moment, ask() digs the stack of the Python VM. It would be more convenient (and maybe performant) to use an explicit stack instead.