Let abdexp offer conflicting expl so that metareasoning can handle it.

Also don't require an explanation for top leaf nodes.