CD-Form: A Clone Detector based on Formal Methods