added method for returning the sides of a literal in a specified order
added method for returning the sides of a literal in a specified order

leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III