all instances of all-defined replaced with all-defined-out