Now he is wondering whether he might get problems cashing out in the future.
Is there a law in Switzerland which states that if you buy bitcoin from the bitcoin ATM, the only means to sell same bitcoin is going through ATM. If there is no such law, I don't think your friend has a problem. Where I can see a problem is in taxation. If BTC is taxable in your country, your friend might be evading tax unknowingly.