add dloc property test

[zlqhem]

dloc property 에 대한 테스트를 만들어보았습니다.

1. sloc >= dloc
2. 임의의 statement s 에 대해 if 로 감싸면 codefat 이 증가함. (s 는 sloc 가 1 이상 일때)
3. codefat 은 IF 문이 블락 끝에 추가되는 것 보다 중첩될 때 더 증가함. (sloc 가 1 이상 일때)
4. dloc 는 Block 문에 대해 분배법칙이 성립함

적고 보니 그닥 쓸모는 없겠다는 생각이;;