Modified toCL to be able to run reduce4 mulx example and added the reduce4 mulx example

[JoaoDiogoDuarte]

Depends on https://github.com/jasmin-lang/jasmin/pull/944 and https://github.com/jasmin-lang/jasmin/pull/945.

This merge request adds:

• reduce4.jazz example with abstract predicates and asserts/assumes that will result in a valid and correct cryptoline file

And adds the following translations:

• ADOX
• ADCX
• MULX

and changes the IMULr translation to include an assert.