WyIL: Added Support for Expression Preconditions.

Certain expressions have preconditions.  For example, a division
expression has a precondition that the divisor is non-zero.  This fix
adds proper support in the verification condition generator for
enforcing these preconditions.