Statistics for Mapping Template Semantics to SMV