VERILAT: Verification by Logic Augmentation and Transformation