Predictive validity of a non-induced mouse model of compulsive-like behavior · Study