added a new Spear layout for Counterexamples such that it is easier to see what are inputs, outputs, requirements, properties, etc...
Merge pull request #7 from lgwagner/master

added a new Spear layout for Counterexamples such that it is easier to s...