T11266: Improve the test by adding more of the other problematic modules
T11266: Improve the test by adding more of the other problematic modules

(cherry picked from commit 975bdacb2c72b2ffd4eb8108896f9f984c5d4fcf)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc