I've always felt the only sensible way to handle this is to provide a command that requests a direct heal, which the bot will perform at the earliest opportunity.
#bot group directheal
#bot group quickheal
And that would be that.
The logistics that would need to go into designing a reliable and intuitive bot healing AI is too complex; give the control over to players.