[WG-IDAssurance] Formalising 'Comparable Alternative' criteria