refine the fieldIsAlwaysInAssignment() method