Adding symmetric receipt guarantee test