Updated demo to properly support coreqs (assumes coreqs don't add cycles).