Is it a problem with the current implementation if the rule has unbounded variables in the right-hand side?