extract variables in checker