add rule for (isa *var NUM); now NUMBER is a NUM