This is the classic triangle classification program from Introduction
to Software Testing textbook by Ammann and Offutt.  The program takes
three input integers from the console and determines whether they
represent the dimensions of a triangle, and if so, the specific type
of triangle.

This particular program version is annotated with new assertions that
check correctness of the triangle classification algorithm.  These
assertions can simply be used as runtime checks for test executions or
be utilized in the evaluation of assertion-driven techniques, e.g., as
in Yang et al.'s ICSE 2014 paper on iProperty.

To execute the program simply invoke the main method and provide the
three inputs as instructed by the program.
