some fixes

In particular, [Symexec.abstract_afs] makes it more complete,
because [Symexec.execute_one_triple] introduces fewer demonic splits.

(with NikosT)