void instruction::display_indented(context & ctx, std::ostream & out, std::string indentation) const { out << indentation; display_head_impl(ctx, out); if (ctx.output_profile()) { out << " {"; output_profile(ctx, out); out << '}'; } out << "\n"; display_body_impl(ctx, out, indentation); }