(Program
{+(Import
  {+(Identifier)+}
  {+(Empty)+})+}
{+(QualifiedImport
  {+(Identifier)+}
  {+(Identifier)+})+}
{ (Import
  {-(Identifier)-}
  {-(Empty)-})
->(Import
  {+(Identifier)+}
  {+(Empty)+}) }
{+(Import
  {+(Identifier)+}
  {+(Empty)+})+}
{+(Import
  {+(Identifier)+}
  {+(Empty)+})+}
{+(
  {+(Import
    {+(Identifier)+}
    {+(Empty)+})+}
  {+(Import
    {+(Identifier)+}
    {+(Empty)+})+})+}
{+(
  {+(Import
    {+(Identifier)+}
    {+(Empty)+})+}
  {+(QualifiedImport
    {+(Identifier)+}
    {+(Identifier)+})+})+}
{+(SideEffectImport
  {+(Identifier)+}
  {+(Empty)+})+}
{-(QualifiedImport
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(Import
  {-(Identifier)-}
  {-(Empty)-})-}
{-(Import
  {-(Identifier)-}
  {-(Empty)-})-}
{-(Import
  {-(Identifier)-}
  {-(Empty)-})-}
{-(
  {-(Import
    {-(Identifier)-}
    {-(Empty)-})-}
  {-(Import
    {-(Identifier)-}
    {-(Empty)-})-})-}
{-(
  {-(Import
    {-(Identifier)-}
    {-(Empty)-})-}
  {-(QualifiedImport
    {-(Identifier)-}
    {-(Identifier)-})-})-}
{-(SideEffectImport
  {-(Identifier)-}
  {-(Empty)-})-})