Fixed bug in NoPrecedenceModule