public static final void frontEndStatistics(SpecObj spec){
}

public static final void frontEndStatistics ( SpecObj spec ) { }
this method should print statistics about the specification it is obviously not finished .
