Fix fail on Asserter/Rule and a little bug on my code