Missing check in Bind

[Raphaël AMIARD]

Found that by writing the following property in GenericInstantiation:

    xref_equation = Property(
        Bind(Entity.generic_entity_name, Entity.designated_generic_decl)
    )

The first param should denote a logic variable, but denotes a T.Name.Entity, and no error is issued

Thank PM :)

[Pierre-Marie de Rodat]

I have added checks to enforrce that Bind’s first operand is a logic variable and I’ve updated Bind’s documentation accordingly. Thanks for reporting this issue!