fix parsing in LK
add tests for == and .equals formula derivation
add test for wrapping nested properties
add test for updating parts of the variables
additional dependencies are not required