proc set_false_path {args} {}