CS 241: fixed Predict function example (b should be B in one rule).