I see.
How about the following setting then:
One plays with the faucet and wins 0.003BTC, after that deposits an additional 0.003BTC, and places another bet for 0.006BTC.
If the last bet is successful, is the player allowed to withdraw ?
I'm not exactly sure about this one. The rules state: "Getting an edge against the casino
without any risks is FORBIDDEN. (e.g [...] winning from faucet then depositing to withdraw all the balance etc.) Only for earnings from faucets, we reserve the right not to authorize withdrawals."
Placing another bet at .006 most certainly has some risk associated to it but it's (almost) no different than just withdrawing the .003 BTC since the ev would still be +.00297 BTC for the player.