sp.disable_function.function("system").drop().dump("/tmp/dump_result/").simulation();
sp.disable_function.function("a").drop().dump("/tmp/dump_result/").simulation();