we can prop parameters now but for the top-level methods there is R0 parameter which will not be instantiated (because no one calls it), so I added CANNOT FIND! for these parameters so that we would not crash because of the assertions