[Eva] Analysis: all functions [get_*_state] return or_top_bottom type.

These functions uses the analysis status to return `Top or `Bottom if needed.