add dloc property test

dloc property 에 대한 테스트를 만들어보았습니다. 

#1. sloc >= dloc
#2. 임의의 statement s 에 대해 if 로 감싸면 codefat 이  증가함. (s 는 sloc 가 1 이상 일때)
#3. codefat 은 IF 문이 블락 끝에 추가되는 것 보다 중첩될 때 더 증가함. (sloc 가 1 이상 일때)
#4. dloc 는 Block 문에 대해 분배법칙이 성립함

적고 보니 그닥 쓸모는 없겠다는 생각이;;