junit tests for CheS-Map