Add SpecifiedVariable

No RedHat AST conversion and no tests (see Variable, ec8a29b).
Add ExistsOrNonemptyCondition, ExistsCondition, NonemptyCondition
Add tests for ExistsOrNonemptyCondition + subtypes