2. The method of claim 1 , further including back annotating results of the verification on the NLA.
2. The method of claim 1 , further including back annotating results of the verification on the NLA. 3. The method of claim 2 , wherein each of the identifying and the translating the NLA processes a plurality of assertions.