Performance optimization for E-matching, working on using QCF module for propagations.
Fixed non-termination issue in bounded integers.
improve string contains
improve string contains