Update Version 1.13:
 - Major: bug introduced with v1.12 removed. Sharing a matched variable produced error: 'Variable already bound in context'
 - Minor: bug in Support.Error.printInfoNF': line printed instead of column
 - Parse errors give little bit more information now. Still not too helpful.	
 - Minor: trivial inequalities are not counted in statistics within the .constraint file anymore if option -nperf is used. Trivial inequalities are counted now onscreen if option -perf or option -debug is used.	
 - Each trivial inequality now causes a comment line within the .constraint file when option -debug is used.
 - Warning message added if input is expected on std-in.
 - Minor: Surpressed warnings are now flushed at the end
 - Minor: Small changes and corrections in help-screen.
 
