Added dependency to the Consistency Predicates module.
  * Also removed JVSTM provided depencendy (it is now provided by the CP module)