mcdc tests for _check_input
notes on mcdc verification testing
notes on tools; only has dia right now