Added capability to translate just a constraint expression separately.
Added capability to handle if conditionals.

Still more work required for else block processing.