[ issue 1244 ] Added test cases

Testing the version option:
  * when used without type-check the file and
  * on a file with errors.