/** {@inheritDoc} */ @Override public boolean hasFalseDistance(int predicateId) { return trace.hasFalseDistance(predicateId); }
/** {@inheritDoc} */ @Override public boolean hasFalseDistance(int predicateId) { return trace.hasFalseDistance(predicateId); }