In functional, refactory through functions check.
Properties updated with additional functions...
Additional property functions added.
C++ DLS updated with additional properties.
Haskell DSL extended with support of high-order predicates and properties.