- construction of SSAs doesn't overwrite existing fluent clauses
- test8 tests for nested fluent evaluation