@Override public int hashCode() { return lit.hashCode(); } }
@Override public int hashCode() { return literal != null ? literal.hashCode() : 0; } }
@Override public int hashCode() { return literal.hashCode(); } @Override
@Override public int hashCode() { return literal.hashCode(); } @Override
@Override public int hashCode() { return literal != null ? literal.hashCode() : 0; } }