<div dir="ltr">The Assume interface is abstracted into a new class. It's not finished. It's intended to replace current Assume() interface.<br><br>-Zhongxing Xu<br></div>