Added a test case (1t-1p.forts) for widened operator.