@mamund E.g. to make it simpler (and thus more likely to be accepted), the optional precondition support could be dropped for now