CORE: Fixed a few bugs that allowed success of synthesis with bogus conditions.