ResultVar annotation allows to put result of a rule on the value stack.