handle type cast expressions
handle type cast expressions

innopolis-jolie-smt-typechecker/jolie,innopolis-jolie-smt-typechecker/jolie,innopolis-jolie-smt-typechecker/jolie,innopolis-jolie-smt-typechecker/jolie