add support for more operators in the precondition lang