basic implementation of separate property cois
added node input reconstruction
separate property cois implemented.
Moved code which prints output mentioning the word counterexaple
back into event.ml. Added start_at_init boolean to lustrePath functions
so that they can print models which do not begin at the initial step.
Merge pull request #109 from kevinclancy/develop

Separate counterexamples for separate properties