Statistics for FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models