decision/ : jh: refactor embedded ITE, other minor

other minor: cleanup some remaning fragments of GiveUpException(),
hopefully all is gone now.
decision: jh: more refactoring (.h->.cpp, xor/iff)