AND/DocSim Facade for Comac