autoreduction and loadfullprofresolution part of framework release 3.1. presentation