got path to Z3 working
problem with variables identified