Dynamic Sync-program for Modular Verification of Biological Systems