Ptc1+/- mice, combined