https://www.circuitlab.com/circuit/a5bzf7/good-netname-and-a-free-voltage-source/ shows that a net label can be used to generate an implicit voltage source. This use of the net label appears to work...