test-case for recursive evaluation of properties
recursive evaluation of properties
test-case for recursive definition of properties -- should be catched
Merge pull request #40 from ubi-agni/F_rec_eval

allow for recursive evaluation of properties