stan models that test error detection, error message