Plugin for CSTMC