Precedes now fails for nonexistent ComplexTerms