git-issue-3513.dfy(9,9): Error: module A does not exist
1 resolution/type errors detected in git-issue-3513.dfy
A.dfy(4,9): Error: module B does not exist
1 resolution/type errors detected in git-issue-3513.dfy

Dafny program verifier did not attempt verification

Dafny program verifier did not attempt verification

Dafny program verifier did not attempt verification
