Restore SideEffectsOnly annotation when it is implemented #114
Description
#113 will remove SideEffectsOnly to satisfy qualifier consistency check in eisop/checker-framework#1142 (review).
Restore SideEffectsOnly annotation when it is implemented.