updates to pre-processing optimizations in PBC module