Add protocol type to tasks used in network verification