added tests for variable bindings