ABR supports AndLinks with EvaluationLinks in them (but only with a specific form)