Added predicate is-specialization-available? to for validation purposes