Add support for assumption variables.