replaced UN_constant, INT_constant by unconditional versions that rewrite to if-then-else expressions
replaced UN_constant, INT_constant by unconditional versions that rewrite
to if-then-else expressions

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle