No. 38 (2000): RS-38 Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs