nonflat gal file is overridden by its-reach
the file "< goal file name >_< goal name >gal.gal", used to store the non-flattenend gal file, is overridden when itsreach separates the GALTypeDeclaration and the Property when it is executed.
Edited by Maxime Audinot