Rename $allConjunctsSql ~> $allConjuncts + Move next to $allRules
Cleanup + Show ADL rule/conjunct expression and Haskell violation expression on --dev