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