a node in the scoped-tree may not be just a conjunction of the predications #4
Description
The current transformation can't distinguish:
- Children who sing are happy.
- Children who are happy sing.
Related to the work in the Agatha puzzle (see examples).