add pic_valid_int predicate
avoid lcm overflow
Merge branch 'lcm-overflow'