updated bad_trunc2.stan