uncomments assertStm