make IgnoreElements AOT Safe