small TODOs in symexec.ml