Running CodeML