A general modular synthesis problem for pushdown systems