cegar-prototype