Add TODO, requires and only_if