add support for tuples and int/bool functions in precond translations.
correct translation of GtE and LtE python operators
translate ctrl fields of service defs from Mobyle1.
add support for new nodes in python expr translation.