Private predicate function that checks if the protocol of a url is https.
is.https(x)
x
is a url string