SMV #99: SmvApp dependency graph automatically figures out module prefix.