Add def->var to pattern
Add passes for checking ops and vars