(use-modules (vikalpa)
             (vikalpa the-little-prover))

(define-system the-little-prover-0 (the-little-prover)
  )