All information of predicates merged next to go are module information
All information of predicates merged next to go are module information