API support for obtaining the Dafny expression that is being checked by each assertion