Separation into different files (function for MIP)