Tcases 1.4.0

• Introducing Output Annotations: For an output transformation to produce concrete test cases, sometimes the basic information in the input model is not enough. You need to add extra information that is not important for generating the test cases but is necessary to form the final output. That's what output annotations are for.
• JUnit output: To assist completion of test case code, Tcases now adds comments listing all input variable values in the Given section of each @test method body. But if you prefer the previous output format, you can exclude these comments using the command line option -p values=false.
• See Troubleshooting FAQs for more help on what to do when things go wrong. This includes more info on how to control Tcases logging output, including how to redirect logging to standard output. Also, logging messages have been improved to make it easier to understand what's going on.
• Reducer: For better performance, reduce test cases for each function independently