#2 Syntax error in constraint causes exceptions during config.

[Michal Antkiewicz]

Constraints with syntax errors are incorrectly
translated into formula which is appended to the BDD
causing exceptions during configuration.

Solution: append to the BDD only valid constraints
(without syntax errors and with correct element ids).