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