@FernetMenta are there any assumptions made about avctx in the false case that might justify an else clause?