move Located to fixpoint