t / t4018 / cpp-void-c-functionon commit prune: check SEEN flag for reachability (c2bf473)
   1void RIGHT (void)
   2{
   3        ChangeMe;
   4}