Locally optimal optimisation of boolean logic in code fragments