Error report in Logical Constraints

[hfaghihi15]

To ease the process of understanding errors in the logical constraint, I think it is best if we throw errors whenever the logical interface has unexpected errors.

For instance, consider the following example:

forAllL(
        combinationC(step, entity)('i', 'e'),
        ifL(
            action_label.move('a1', path=(('i', action_step.reversed), ('e', action_entity.reversed))),
            ifL(
                entity_location_before_label('el1', path=(
                                ("e", lentity.reversed),
                                ("i", lstep.reversed)
                            )
                ),
                notL(
                    entity_location_label('el2', path=(
                                        ("e", lentity.reversed),
                                        ("i", lstep.reversed),
                                        ('e1', llocation, llocation.reversed)
                                    )
                        )
                )
            )
        )
    )

Here, e1 is wrongly used instead of el1. This should throw error since e1 does not exist in the logical constraints.
@auszok