sp.eval_blacklist.list("strlen").dump("/tmp/dump_result/").simulation();