Statistics for Complete calculi for structured specifications in fork algebra