Added edf_wc.v

Björn Brandenburg authored 4 years ago and LailaElbeheiry committed 4 years ago

... to comments and closing braces on lines before bulleted
sub-proofs.

For better debugging support, add

	--parse-only
and

	--parse-only --verbose
modes.