Corrected a bug with the initialization of the repos during the reasonning process