Three notes on the complexity of model checking fixpoint logic with chop