stp/stp — pull request #31 by khooyp (2013-09-07 15:35:27+00:00)
Title: Implement BVZX case in Simplifier (so that using BVZX will not fail with an exception).

This finishes the implementation of BVZX and solves a crashing bug.