Walk over instance expression in dot forms
Merge pull request #13 from immoh/walk_over_instance_expr_in_dot_forms

Walk over instance expression in dot forms
Only walk var forms when the predicate passes

fixes #12
Merge pull request #14 from trptcolin/var-walking-predicate

Only walk var forms when the predicate passes