Started extract with unfolding of definitions