Ganhos não realizados não devem ser tributados. Eles deveriam ter um limite máximo para o empréstimo contra a conta que torne isso um evento tributável. A segunda ideia é justa, a primeira levaria à falência construtoras privadas que são ricas em papel (não líquidas) Enfim. Não vai acontecer.