buggy mutual recursion
add some more debug information
fix mutually recursive predicates!