In order to reconstruct a HybridAutomaton in Python, it is actually necessary to export the target() method.