added example mapping with ambiguous keys
cleanup
wip: statement revolution strategies implemented (draft)
Fix resolution of precondition constraints
move resolution for required statement into address mapping impl. reverse mapping of statements onto address tokens