#548 Allow omitting 'else' for CIF switch expressions more liberally
- Switch expression type checking for switches over non-automata is now similar to the checking for automata.
- Fixed
CifValueUtils.hasSingleValueJavaDoc. - Fixed
ErrMsgconstraint comment to allow 'chk.bash' to succeed.
Best to review per commit.
Closes #548 (closed)