before : RECEIPT[tea]
inside : FAKE [tea]
constructed during the scope: 1
after  : RECEIPT[tea]
