tests + impl for if special form