Add Attachment:STR-260: Dynamic rule lifting generates lookup code for undefine rule (L :- t)