minor bugfix: satvals not initialized if determineCaseIndex fails (not
that it matters, since the result is the same)