Support "Implication" (C side)

Add support for "Implication", as defined in the "Advanced Matching", ES 203 022, 5.3.2 (https://www.etsi.org/deliver/etsi_es/203000_203099/203022/01.04.01_60/es_203022v010401p.pdf#page=14)

TemplateInstance implies TemplateInstance

Tried this in Titan 7.2 and it did not work.