Reducing calls to .keys. Commented out code made redundant when improved default checks added.
Reducing calls to .keys. Commented out code made redundant when improved default checks added.

rstoneback/pysat,jklenzing/pysat