changed sample name
Refactored the FOL example and added an ordering to source sensitive states.