Text this: Module checking of pushdown multi-agent systems