Add checkFutureDependency() Function to api
refactor conflict-translator in generateOPB() Method in solver.py