adding initConditionAdding function in resynthesis.py