Code review with @fperez : if `push()` fails, input_transformer_manager is never reset.