Load "output/load/Load_noproof.v".
Print f.

Load "output/load/Load_proof.v".
Print u.

Fail Load "output/load/Load_openproof.v".