Add more functions to target sat4j interface