Verification of sets of infinite state processes using program transformation