Coded up CLP to solve constraint system derived from super block CFG