aft[?] type matching, type propagation

  • afta Setup memory and analyse do type matching analysis for all functions
  • aftm type matching analysis