Add precondition language with a few operators