:- dynamic option/2.
:- discontiguous option/2.