push_envelope_impl() added to analysed functions.