CD-Form: A clone detector based on formal methods