refactor abstract_eval_statement_expr (#54111)

This commit divides the various expr handlings into `abstract_eval_xxx`
subroutines in order to make the logic clearer and easier to follow.

Author: aviatesk