Push in Python, with the GP in Clojush