minor cleanup
Merge pull request #1010 from yilongli/cleanup-ml-prover

minor cleanup of the matching logic prover