work on Stan model validation