Added strict to if0 interpretation