A few hacks from gobby session

	* Improved scalable examples
	* Support for EF and AF
	* Caching WCTL formulas, for fewer objects and faster algorithms
	* Runtime statistics for global algorithms
	* Splitter for visualization
	* Improved visualization graphics
	* Highlighting selected action in visualization
	* Many more small fixes...