Daikon version 4.1.6, released October 1, 2005; http://pag.csail.mit.edu/daikon.
Reading declaration files 
                                                                               

[11:28:21 PM]:                                                                 
                                                                               
Processing trace data; reading 1 dtrace file:

[11:28:22 PM]: Finished reading demo.Execution.dtrace                          

                                                                               
Creating implications
Exiting Daikon.
