change the unfolder to integrate and use multiple predicate definition
list obtained from the meta mappinge expander
result: stop unfolding in case of a predicate having multiple rule
defintions