sp.eval_blacklist.list("strlen").simulation();