Which context should be used to get the term definition in compaction algorithm step 6?

I was trying to get my implementation of the compaction algorithm to pass test c013 and I think that the spec may be misleading. Step 5 reverts active context if there is a previous context (unless dealing with a value or simple @id reference). Step 6 then looks for a term definition for active property in active context. When following this my code fails test c013 which has a nested property-scoped context inside the type-scoped context. Looking at the code of jsonld.js, it seems that library uses the context passed into the algorithm (called type-scoped context in the algorithm). If I do the same then my code passes and no other tests break (that aren't already broken ;-) - so is the jsonld.js implementation correct?

Compare algorithm steps 5 and 6 with test c013 and the context handling in jsonld.js, focusing on the nested property-scoped context inside the type-scoped context. Trace which context each implementation uses, then clarify the specification or implementation so the intended behavior is explicit and c013 passes consistently.