Test relies on k-safety, belongs in pro