JABULA (Extended Version)

JABULA (Extended Version)