create_term의 파라미터 이름 수정
some Zero Supressed Binary Decision Diagram impl. (ZDD, ZBDD, ZSDD, ZSBDD)

- 언젠가 정리하기 (....)