Working on sym references derivation for LLI