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