Test cases of systems with overdetermined initialization problems due to index reduction that are inconsistent (should give an error during initialization)