remove redundant isPushed field

done for [AGIOS-54](https://issues.jboss.org/browse/AGIOS-54)