Implemented minimal insertion of implementation intentions