Make sure "if <deferred>:" is equivalent to the undeferred case by implementing __non...