fix bug in bit shift
fix bug in rule-matching