Assignment of handles from paper " Yin and Yang of Obj Oriented Verification "

In reply to Etrx91:

Yes.