add initial fresh logical vars for symexec

also, print abducted specs at the very end (if "-v" on cmdline)