refactoring of properties interpretation to enable better error-messages. Pyb now prints the predicates which cuase
overflow-enumerations.other exceptions are not catched because they may be errors in the tool.