Verify Properties of Transformations using Parallel Lines