add dependency

Need to reuse test assertion code
Add AST inference test
Update submodule