code now adds path symbolic path conditions