Avoid adding inferred TransitiveObjectProperty assertions if
transitivity is only vacuously true.