optim(nil: ref Inst, nil: ref Decl){}