6A reachability goal of the form X1,,Xk s *t is linear if s is linear and s and t do not have variables in common.