Fix null pointer in extending one way operations.
Fix null pointer in extending one way operations.
agwe/jolie,mawolf/jolie,mawolf/jolie,innopolis-jolie-smt-typechecker/jolie,agwe/jolie,mawolf/jolie,agwe/jolie,innopolis-jolie-smt-typechecker/jolie,mawolf/jolie,agwe/jolie,innopolis-jolie-smt-typechecker/jolie,innopolis-jolie-smt-typechecker/jolie