chnged toDex to reload bodies of methods that shall be written out but for which no body has been loaded yet