added check to make sure that the
corrected list of exported predicates
fixed handling of sub-capabilities that make their super-capabilities available as well. Fixes #10.