It is a static error to use an option on an atomic step that is not declared on steps of that type.