Add a few more rules to difference program