weakest precondition - Turkish English Dictionary