fixed SMTLib translation for empty constraints
fixed config.xml for binary search tree examples