save location stack in domain (@stack) instead of using a ref
-> fixpoint for functions is reached now