Is it possible to invoke computeKnownBits with extra assumptions?

Hi,
What is the recommended way of querying the known bits of the return value of a function with extra information about its argument?
In particular, I want to be able to answer this question for specific constant values of a subset of the arguments.
Can I avoid creating a new function with the constants substituted into it?
Thanks,
Manasij