generalize if0 for #4
forbid arg and this in main expression for #1