Verify Properties of Transformations using Line Segments