A novel approach based on formal methods for clone detection