Check for empty input/output list in verify()