read_aiger to only clean own design