changed names of builtin predicates

so they're a bit more consistent with the ones in jstar