Add pure literal rule