Add CADF exploration, move cadf to it's own file