Reverse HOL-IRISchart_NBC_20v1