ibc i (IBCImport n) f = return f { ibc_imports = n : ibc_imports f }
ibc i (IBCImport n) f = return f { ibc_imports = n : ibc_imports f }
ibc i (IBCImport n) f = return f { ibc_imports = n : ibc_imports f }