refactored object initializers in CFG