Get a problem in reifying load rule, if parameter one more variable