contract Bad =
  include "included.aes"
  namespace Foo =
    function foo() = 42

  entrypoint foo() = 43