FIX: handling of deferred object creation when static analysis fails.