Some stability issues in resolution.doctest are fixed by making AbstractVariableExpression orderable and BindingDict.__str__ stable.