Source Code Logic Games