TXL solution to Chairmarks #4.5: Static slicing. This example implements backward static slicing using cascaded markup to a fixed point. Notes: In an implementation ...

a1 a2 a3 a4 a5 a6 a7