bhle/bhle — pull request #362 by wkollernhm (2012-03-01 10:02:42+00:00)
Title: Fixing SMT conversions

Fixing SMT conversions