fix(analyzer): refactor assertion finder methods, and fix crash on first class callables

Signed-off-by: azjezz <[email protected]>

Author: azjezz