Rename isFinished() to isSolved() and refactor it. Fixes #21
Handle names of condition properties in ExecutionUnitWrapper. Fixes #24
code clean-up
add tests