Support 'desugar contains ATerm'