Implement Guess Justification

LineNumbersOnly additionally uses proof to check Justification.