Test: Empty provides, requires, peers nodes do not crash the proof script.
