bounds checking; AccPoK changes; AccProofSet - WIP!
finished with AccProofSet? WIP!
hmm, forgot this