restore termination bug, fix for #127
Add a grammar for refinement predicates to README