is.https function

Private predicate function that checks if the protocol of a url is https.