Refactor test: renaming bind to bindings
Fact match fact with variables, with binding backtracking; binding current and reset, with nbindings