FIXED: Added some required undefined predicates in ciao dialect.