Don’t depend on org.spoofax.terms.