Optimized the VC generation for assumption variables.