Use an automatic prover (proofChecker with tactics) to generate a direct proof and calculate how much of the path of the proof was walked by the student and improve the assessment with that.