So what we can do is simply keep this variable as a variable and that is what is called lifted backward search, which can also deal with partially instantiated operators where not all the parameters of the operators are replaced by actual values. 