Reverses the enumerator for SFIL