Remove the components variable from proofs.rkt completely
Remove the components variable from proofs.rkt completely

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius