Necessary because, with old input files, the graph did not have the
property `e_overestim`.