EqualityComparisonBuiltInLiteral
getHead()
EGD(List<Literal> body, EqualityComparisonBuiltInLiteral head)