assert enough funds precondition