Adding a precondition to remove a fixme