more robust mechanism for getting guaranteeType