grammer: accept redef and visibility in front of annotation