removed valid_input from definition nVCG_pred; we don't need it here
new test cases for Partitions.thy