Fixed bad11.stan compiling while detecting a semantic error