• debugger : CVC3
• l_False : MiniSat
• l_True : MiniSat
• l_Undef : MiniSat
• lit_Error : MiniSat
• lit_Undef : MiniSat
• myvcl : CVC3
• num_primes : Hash
• parserTemp : CVC3
• prime_list : Hash
• var_Undef : MiniSat

---