                         <a class="btn-link" ng-click="open('controller/nondet','dL','ignore')">
                                        <i class="fa fa-angle-double-right" ng-if="mxdata.artifact=='controller/nondet'">&nbsp;</i>Non-deterministic
                                    </a>
                                </li>
                            </ul>
                        </div>
                    </uib-accordion>
                </div>
                <div class="col-md-4">
                    <ui