Update if_.py