Use Ctxs in declaration checking.