concretizer: remove rule generation code from concretizer
concretizer: remove rule generation code from concretizer

Our program only generates facts now, so remove all unused code related
to generating cardinality constraints and rules.

LLNL/spack,LLNL/spack,LLNL/spack,LLNL/spack,LLNL/spack