fixes reference bugs; #15
cleaner: fixes a bug that rule.default is not true; #15
fixes test cases; #15