Successfully compares arguments of literals - if they are instantiated and are all equal. Suggestion: if literal args are not instantiated, instantiate it with the args from the literal comparing.