Investigate behaviour of the interaction of abstract theories and sections.

[strub]

theory T.
  abstract theory U.
    axiom L : false.
  end U.
end T.

section S.
  clone T as CT.
end section S.

[strub]

Ref #247