/

• ast-to-instr
• cfg-to-paths
• data
• instr-to-kodkod