ss="n">Compound</span><span class="p">(</span><span class="s2">&quot;is&quot;</span><span class="p">,</span><span class="n">B_var</span><span class="p">,</span>\
         <span class="n">Compound</span><span class="p">(</span><span class="s2">&quot;+&quot;</span><span class="p">,</span><span class="n">A_var</span><span class="p">,</span><span class="mi">1</span><span class="p">))</span><span class="o">.</span><span class="n">post_goal</span><span class="p">()</span>         <span class="c1"># B_Var is A_var