Added opSlice and opIndex to allow '[]' in constraint expressions.
Refactored the cstx module and separated out translateExpr.

This would be useful for handling index/slice expressions and if-else
blocks in the constraints -- both of which might have an expression as
part of the syntax.
Fixed some issues with obdd and rand modules.