added cex arg to activnsAtBarchart
commented out simple 1-place predications that aren't referenced in other propns