Well Factored Programs Cannot Be Understood Statically