declarations: assume declarations with contexts are definitions

Authored by egospodinova on Jul 10 2017, 12:08 AM.