Remove the wrong phases. Use CFIs instead of FIs, to use fewer variables and constraints in the optimization problem. Add code for a different bound to the shatter coefficient (mark item as done in TODO)