Auto-Generation Of Properties: Methodology Insertion

Technology is only useful if it improves an existing methodology. Property generation is still refining that goal, but in the long term it could be very useful.