add in Checking FD Preserving in FD.java