Junit Tests for CCDT