Improving symbolic reachability analysis by means of activity profiles