Fixed the autocompletion issue

If openContext()ing a context which is already open, obviously something
goes wrong regarding which declaration belongs to which context, which
probably leads to declaration instances being unloaded before the
corresponding context is deleted. Instead of using openContext, we now
close all contexts on the stack until we reach the desired context A, and
open then again when closing A.