Reflected changes in commonlib.logictree