Towards Modular Verification of Pathways: Fairness and Assumptions