New branch for tracking a std:out_of_range error in the disambiguator