public Result<? extends CombinedChainOutput> checkTrivialCases() {
        // The model should be a Petri net (not necessarily an STG)
        if (!WorkspaceUtils.isApplicable(we, PetriModel.class)) {
            return Result.exception("Incorrect model type.");
        }