spfa enumeration