foreach my $key (sort keys %clocks){
  print_clock_assertions($clocks{$key});
}