allow default value of given/if/then/when in a CHR rule