int-ops -> Vars 
  main-<
        extended-precis-ops -> Vars