refactored condition formula work to its own src code file.
add SLAB libs