model-checker now takes a module environment to lookup contracts for imported procs