PRINCE: checkOptions() implementation