got rid of a few missed uses of deprecated Optional<>::empty ()
got rid of a few missed uses of deprecated Optional<>::empty ()

SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika