disable specialization for now - there are some remaining issues

Especially, the new nodes must also be registered to ensure a reduced BDD.