Implemented an additional type check for assumption variables.