update lib (kin law: getMath)
test ast node type