def evaluate_old_assump(pred):
 return pred.xreplace(Transform(_old_assump_replacer))

def evaluate_old_assump ( pred ) : return pred . xreplace ( Transform ( _old_assump_replacer ) )
replace assumptions of expressions replaced with their values in the old assumptions (like q .