Removing reaction options (replaced by preconditions and postconditions)