Improve unit tests for AST conversion and bitwuzla
Improve unit tests for AST conversion and bitwuzla

JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton