A finished implementation of DomainCounterAction.
Added Parameters.canContinue(): Boolean
Implemented NullParameters.
A minor fix in Node.
Implemented Demo1. Closes #2.