got rid of last (failwith "todo") in symexec

that is, tests don't crash anymore