Addtional functionality for fastml, see http://fastml.tau.ac.il