Remove workaround for genreflex bug that has been fixed

Remove the workaround for a genreflex bug that has been fixed