minor cleanup of the matching logic prover

@andreistefanescu please review