using jcel 0.20.0 instead of cel reasoner