Fix bugs about decomposition and print out not found rules