fix hard-code @{theory} for lookup_fact