[10-02-13] inconsistency in preconditions