Propositional dynamic logic of context-free programs and fixpoint logic with chop