Fix missing error check in AST for expr->intexpr conversion; add new test modality

Fix missing error check in AST for expr->intexpr conversion; add new test modality #784