Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning