Bugfix: it was possible to switch given cases in SA