add options for specifying MCS candidates in SAT.CAMUS module