bug when passing modules to multiple reasoners fixed