-- | Succeed with a single child such that the corresponding is complexity reflecting.
succeedWithId :: (Processor p, Forking p ~ F.Id) => ProofObject p -> Out p -> TctM (Return p)
succeedWithId pn p = return $ Progress pn F.fromId (F.toId $ Open p)
succeedWithId :: (Processor p, Forking p ~ F.Id) => ProofObject p -> Out p -> TctM (Return p)
succeedWithId pn p = return $ Progress pn F.fromId (F.toId $ Open p)
succeedWithId pn p = return $ Progress pn F.fromId (F.toId $ Open p)