1. 根目录:
  2. art
  3. test
  4. 505-simplifier-type-propagation
  5. src