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

fixes #12