stop using attributes to store term information like location, filename, klabel.
fix bug in Production.equals
remove duplicate production