remove useless PROGNs
remove redundant loads from state vectors