BREAKING CHANGE: Functionality is now provided by function calls and scheme generation is decoupled from LEqS solving.
check